1. Alan Turing :
Author: edited by S. Barry Cooper and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
Classification :
QA29
.
T8
C65
2013
2. Algorithms - ESA '94.
Author: Jan Van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
3. Algorithms-ESA'94 : second annual European Symposium Utrecht, The Netherlands, September 26-28, 1994 : Proceedings
Author: Jan Van Leeuwen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
855
4. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Author: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
2076
5. Computer science today : recent trends and developments
Author: Jan van Leeuwen, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science
Classification :
QA
76
.
L28
Vol
.
1000
6. Graph-theoretic concepts in computer science : 19th International Workshop, WG'93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings
Author: Jan van Leeuwen, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Graph theory
Classification :
QA
76
.
L28
Vol
.
790
7. Graph-theoretic concepts in computer science : 19th international workshop, WG 93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings
Author: Jan van Leeuwen, ed
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Graph theory - Congresses , Computer science - Congresses
Classification :
QA
166
.
G7172
1993
8. Handbook of theoretical computer science
Author: edited by Jan Van Leeuwen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science
Classification :
QA
76
.
H25
1990
9. Handbook of theoretical computer science
Author: edited by Jan van Leeuwen
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer science
Classification :
QA
76
.
H279
1990
10. Handbook of theoretical computer science
Author: / edited by Jan van Leeuwen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer science
Classification :
QA76
.
H279
1990
11. Handbook of theoretical computer science
Author: / edited by Jan van Leeuwen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science
Classification :
QA76
.
H279
1990
12. Nonlinear Data Assimilation
Author: / Peter Jan Van Leeuwen, Yuan Cheng, Sebastian Reich
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
13. SOFSEM 2007
Author: \ Jan van Leeuwen ... [et al.] (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Congresses.,Computers -- Congresses.,نرمافزار -- کنگره ها,کامپیوترها -- کنگرهها
Classification :
E-Book
,
14. Topics in the theory of computation :
Author: edited by Marek Karpinski and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
Classification :
QA267
.
I56
1983
15. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
Classification :
QA
,
267
,.
I56
,
1983
